Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove unnecessary symbols and add missing symbols #13374

Merged
merged 1 commit into from
Sep 9, 2024

Conversation

cuishuang
Copy link
Contributor

@cuishuang cuishuang commented Sep 9, 2024

Please write a short comment explaining your change (or "none" for internal only changes)

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Sep 9, 2024

r? @Centri3

rustbot has assigned @Centri3.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Sep 9, 2024
Copy link
Member

@Centri3 Centri3 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍 Just one thing

tests/ui/crashes/ice-6251.rs Outdated Show resolved Hide resolved
Signed-off-by: cuishuang <imcusg@gmail.com>
@Centri3
Copy link
Member

Centri3 commented Sep 9, 2024

Thank you. @bors r+

@bors
Copy link
Collaborator

bors commented Sep 9, 2024

📌 Commit b0db9c2 has been approved by Centri3

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Sep 9, 2024

⌛ Testing commit b0db9c2 with merge 1e797e9...

@bors
Copy link
Collaborator

bors commented Sep 9, 2024

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: Centri3
Pushing 1e797e9 to master...

@bors bors merged commit 1e797e9 into rust-lang:master Sep 9, 2024
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants